perm filename WHAT[S78,JMC] blob sn#359658 filedate 1978-06-05 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "memo.pub[let,jmc]" source
C00009 00003	.skip 1
C00010 ENDMK
CāŠ—;
.require "memo.pub[let,jmc]" source;
.CB KNOWING WHAT - KRIPKEAN SEMANTICS IN FIRST ORDER LOGIC


	We are interested, with a view to artificial intelligence
applications,
in formalizing
.skip 1
.begin verbatim
John McCarthy
Artificial Intelligence Laboratory
Computer Science Department
Stanford University
Stanford, California 94305

ARPANET: MCCARTHY@SU-AI
.end

.turn on "{"
%7This draft of
WHAT[S78,JMC]
PUBbed at {time} on {date}.%1